منابع مشابه
Relational Semantics for Databases and Predicate Calculus
The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we develop such a theory and define operations on relations that are adequate for database use. The operations are similar to those of Codd’s relational algebra, but differ in being based on a mathematically adequate theor...
متن کاملPredicate Abstraction in a Program Logic Calculus
Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. This paper explores a way to integrate predicate abstraction into a calculus for deductive program verification based on symbolic execution, where it allows us to infer loop invariants automatically that would otherwise have to be...
متن کاملGeneralization of the Truth-relevant Semantics to the Predicate Calculus
1.1 Truth-relevance There are Boolean formulae such that their value can be determined by a subset of their variables. Consider for example A = P v ~P v Q. When v(P) is T then v(A) = T regardless of the value of Q. When v(P) = F then v(A) = T also regardless of the value Q. The set of variables occurring in A is {P, Q}. We say that the subset {P} is truth-determining for A; for all the valuatio...
متن کاملA Hybrid Predicate Calculus∗
We present the Hybrid Predicate Calculus (HPC), a hybrid logical system which incorporates a fairly conventional first-order predicate calculus, but which also include elements of modal logic and relational algebra. A special effort has been made to produce a (syntactically and semantically) well-integrated whole, rather than just a disjoint union. Our calculus, from a formal point of view, is ...
متن کاملMeta-predicate Semantics
We describe and compare design choices for meta-predicate semantics, as found in representative Prolog predicate-based module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, computational reflection support, expressiveness of meta-predicate directives, meta-predicate definitions safety, portab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1994
ISSN: 0167-6423
DOI: 10.1016/0167-6423(94)90002-7